@InProceedings{finding-pldi22,
  author       = {Stefanos Chaliasos and Thodoris Sotiropoulos and Diomidis Spinellis and Benjamin Livshits and Dimitris Mitropoulos},
  title        = {Finding Typing Compiler Bugs},
  booktitle    = Proceedings of the Conference on Programming Language Design and Implementation},
  month        =  jun,
  year         = 2022,
}